Undecidable Iterative Propositional Calculus
نویسندگان
چکیده
منابع مشابه
Undecidable problems for propositional calculi with implication
In this article, we deal with propositional calculi over a signature containing the classical implication → with the rules of modus ponens and substitution. For these calculi we consider few recognizing problems such as recognizing derivations, extensions, completeness, and axiomatizations. The main result of this paper is to prove that the problem of recognizing extensions is undecidable for e...
متن کاملdifferential propositional calculus ∗
calculus Calculus circle Circle collection Collection combination Combination combinations Combinations component Component components Components cover Cover cut Cut divides Divides entire Entire even Even language Language number Number object Object objects Objects parallel Parallel range Range ranges Ranges rank Rank ranks Ranks place Place representation Representation represents Represents...
متن کاملPropositional Calculus and Realizability
In [13], Kleene formulated a truth-notion called "readability" for formulas of intuitionistic number theory(1). David Nelson(2) showed that every number-theoretic formula deducible in the intuitionistic predicate calculus(3) (stated by means of schemata, without proposition or predicate variables) from realizable number-theoretic formulas is realizable. In particular, then, every formula in the...
متن کاملRelativized Propositional Calculus
Motivation: Complexity lower bounds and independence results are easier in a relativized setting. It seems reasonable to define a relativized setting for the propositional calculus in order to prove lower bounds.
متن کاملPropositional Calculus in Coq
I formalize important theorems about classical propositional logic in the proof assistant Coq. The main theorems I prove are (1) the soundness and completeness of natural deduction calculus, (2) the equivalence between natural deduction calculus, Hilbert systems and sequent calculus and (3) cut elimination for sequent calculus.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra and Logic
سال: 2016
ISSN: 0002-5232,1573-8302
DOI: 10.1007/s10469-016-9396-3